kw.\*:("Intuitionistic logic")
Results 1 to 25 of 639
Selection :
Two versions of minimal intuitionism with the CAP. A noteROBLES, Gemma; MENDEZ, José M.Theoria (Madrid). 2005, Vol 20, Num 53, pp 183-190, issn 0495-4548, 8 p.Article
An Intuitionistic Reformulation of Mally's Deontic LogicLOKHORST, Gert-Jan C.Journal of philosophical logic. 2013, Vol 42, Num 4, pp 635-641, issn 0022-3611, 7 p.Article
Speakable in quantum mechanicsHERMENS, Ronnie.Synthese (Dordrecht). 2013, Vol 190, Num 15, pp 3265-3286, issn 0039-7857, 22 p.Article
Intuitionistic hybrid logic: Introduction and surveyBRAUNER, Torben.Information and computation (Print). 2011, Vol 209, Num 12, pp 1437-1446, issn 0890-5401, 10 p.Article
Markov's rule is admissible in the set theory with intuitionistic logicKHAKHANIAN, V. KH.Lecture notes in computer science. 1997, pp 167-171, issn 0302-9743, isbn 3-540-63385-5Conference Paper
How to glue analysis modelsVAN DALEN, D.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1339-1349, issn 0022-4812Article
Forcing in intuitionistic systems without power-setGRAYSON, R. J.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 670-682, issn 0022-4812Article
Epistemic and intuitionistic arithmeticSHAPIRO, S.Studies in logic and the foundations of mathematics. 1985, Vol 113, pp 11-46, issn 0049-237XArticle
Separating minimal, intuitionist, and classical logicMEREDITH, D.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 485-490, issn 0029-4527Article
A structurally complete fragment of relevant logicSLANEY, J. K; MEYER, R. K.Notre Dame journal of formal logic. 1992, Vol 33, Num 4, pp 561-566, issn 0029-4527Article
Intuitionistic Epistemic Logic, Kripke Models and Fitch's ParadoxPROIETTI, Carlo.Journal of philosophical logic. 2012, Vol 41, Num 5, pp 877-900, issn 0022-3611, 24 p.Article
Closing the gap between the stable semantics and extensions of WFSOSORIO, Mauricio; BORJA, Veronica; ARRAZOLA, Jose et al.Lecture notes in computer science. 2004, pp 202-211, issn 0302-9743, isbn 3-540-21459-3, 10 p.Conference Paper
Coercive subtyping in type theoryLUO, Z.Lecture notes in computer science. 1997, pp 275-296, issn 0302-9743, isbn 3-540-63172-0Conference Paper
Inhabitation of types in the simply typed lambda calculusDEKKERS, W.Information and computation (Print). 1995, Vol 119, Num 1, pp 14-17, issn 0890-5401Article
Replacement in LogicHUMBERSTONE, Lloyd.Journal of philosophical logic. 2013, Vol 42, Num 1, pp 49-89, issn 0022-3611, 41 p.Article
On the logical content of Computational type theory: A solution to Curry's problemFAIRTLOUGH, Matt; MENDLER, Michael.Lecture notes in computer science. 2002, pp 63-78, issn 0302-9743, isbn 3-540-43287-6Conference Paper
A boundedness theorem in ID1(W)JAGER, G.The Journal of symbolic logic. 1986, Vol 51, Num 4, pp 942-947, issn 0022-4812Article
AN INTERPRETATION OF INTUITIONISTIC ANALYSIS.VAN DALEN D.1978; ANN. MATH. LOGIC; NETHERL.; DA. 1978; VOL. 13; NO 1; PP. 1-43; BIBL. 1 P. 1/2Article
IS THE INTUITIONISTIC BAR-INDUCTION A CONSTRUCTIVE PRINCIPLE.MAINZER K.1977; NOTRE DAME J. FORM. LOGIC; U.S.A.; DA. 1977; VOL. 18; NO 4; PP. 583-588; BIBL. 10 REF.Article
A NEW REALIZABILITY NOTION FOR INTUITIONISTIC ANALYSIS.SCARPELLINI B.1977; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1977; VOL. 23; NO 2; PP. 137-167; BIBL. 13 REF.Article
ANOTHER INTUITIONISTIC COMPLETENESS PROOF.DE SWART H.1976; J. SYMBOL. LOGIC; U.S.A.; DA. 1976; VOL. 41; NO 3; PP. 644-662; BIBL. 2 REF.Article
An analysis of Girard's paradox = Une analyse du paradoxe de GirardCOQUAND, Thierry.Rapports de recherche - INRIA. 1986, Num 531, issn 0249-6399, 1 p.Report
Intuitionistic fuzzy logic and intuitionistic fuzzy set theoryTAKEUTI, G; TITANI, S.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 851-866, issn 0022-4812Article
ELEMENTS OF INTUITIONISTIC ANALYSIS. ROLLE'S THEOREM AND COMPLETE, TOTALLY BOUNDED, METRIC SPACES.DE SWART H.1976; Z. MATH. LOGIK GRUNDL. MATH.; DTSCH.; DA. 1976; VOL. 22; NO 4; PP. 289-298; BIBL. 4 REF.Article
UN SISTEMA DI DEDUZIONE NATURALE PER LINGUAGGI INFINITARI. = UN SYSTEME DE DEDUCTION NATURELLE POUR DES LANGAGES INFINITAIRESARZARELLO F.1975; ATTI ACCAD. SCI. TORINO, CL. SCI. FIS. MAT. NAT.; ITAL.; DA. 1975; VOL. 109; NO 5-6; PP. 633-641; ABS. ANGL.; BIBL. 6 REF.Article